/*
 * @Author: czy
 * @Date: 2021-05-21 14:27:51
 * @LastEditTime: 2021-07-12 22:12:59
 */
#include "../lib/output.h"

/**
 * @description: Output a string to the output device.
 * @param buf   Buffer.
 * @return Number of output characters.
 */
int write(char *buf)
{
    int num;
    num = vga_put_chars(buf);
    num = uart_put_chars(buf);
    return num;
}
